Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
331	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Adjoint functors Functional programming Logic in computer science Monad Models of computation Functor Applicative programming language Denotational semantics Map Declarative programming Abstract algebra Software engineering
332	J , Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:38 Mathematical logic Programming language semantics Programming paradigms Models of computation Formal methods Denotational semantics Semantics of programming languages Programming language Operational semantics Mathematics Theoretical computer science Logic in computer science
333	Safety Checking of Machine Code Zhichen Xu Add to Reading List Source URL: ftp.cs.wisc.edu Language: English - Date: 2004-03-27 21:08:37 Data types Type theory Formal methods Pointer Predicate transformer semantics Sequence container Stack Compiler optimization Type safety Computing Software engineering Programming language theory
334	The Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:04 Lambda calculus Logic in computer science Models of computation Functional languages Combinatory logic Functional programming Curry ISWIM Denotational semantics Software engineering Computing Programming language theory
335	Semantics of Programming Languages Computer Science Tripos, Part 1B 2008–9 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-16 04:23:41 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Semantics Lambda calculus Theoretical computer science Mathematics Logic in computer science
336	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
337	Information and Computation 163, [removed]doi:[removed]Âinco[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2006-02-19 18:16:34 Logic in computer science Lambda calculus Type theory Models of computation Programming language semantics Denotational semantics Simply typed lambda calculus Typed lambda calculus Combinatory logic Theoretical computer science Mathematics Mathematical logic
338	Domain-Specific Languages Walid Taha Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-09-25 18:15:46 Domain-specific language Functional languages Logic in computer science Programming language Preprocessor Actor model Semantics of programming languages ALGOL 68 ISWIM Software engineering Computing Programming language theory
339	Operational Semantics Using the Partiality Monad Nils Anders Danielsson Chalmers University of Technology and University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-18 07:55:38 Software engineering Programming language semantics Denotational semantics Logic in computer science Monad Lambda calculus Representation theory of finite groups Theoretical computer science Models of computation Applied mathematics
340	A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte Robin Milner was born in 1934 to John Theodore Milner and Muriel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-28 12:43:45 Logic in computer science Functional languages Type theory Formal methods Models of computation Denotational semantics Logic for Computable Functions ML Robin Milner Theoretical computer science Software engineering Programming language theory